退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:已验证的连续系统可达性分析
Fabian Immler;
机译:利用可达性分析的线性脉冲系统的稳定性验证和定时合同合成
机译:混合系统的安全验证和可达性分析
机译:使用前向可达性分析来验证有损信道系统
机译:准线性连续时间系统的经过验证的可达性分析技术
机译:使用降维和分解的连续动力系统可达性分析。
机译:的计算心血管系统模型进行比较的连续流以同步无阀脉动流的血流动力学的验证左心室辅助装置
机译:混合系统验证中连续可达性的约束
机译:环境技术验证计划高级监测系统中心:全尺寸焚烧炉中汞连续排放监测器的通用验证协议
机译:服务交付系统分析/验证程序,这种系统的控制方法,计算机可读存储介质,用于分析/验证程序的设备,用于控制分析/验证程序的装置的设备
机译:提供程序分析/验证服务的系统,控制系统的方法,计算机可读存储介质,用于程序分析/验证的设备,用于控制程序分析/验证的设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。